- logical negations
- • логическо отрицание
English-Bulgarian polytechnical dictionary . 2013.
logical negations
Look at other dictionaries:
Ghost in the machine — This article is about a philosophical critique. For other uses, see Ghost in the machine (disambiguation). The ghost in the machine is the British philosopher Gilbert Ryle s description of René Descartes mind body dualism. The phrase was… … Wikipedia
Attempto Controlled English — (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and a restricted semantics described by a small set of construction and interpretation rules [cite conference | author = Norbert E. Fuchs, Kaarel… … Wikipedia
Antisymmetric relation — In mathematics, a binary relation R on a set X is antisymmetric if, for all a and b in X , if a is R to b and b is R to a , then a = b .In mathematical notation, this is::forall a, b in X, a R b and b R a ; Rightarrow ; a = bor equally, :forall a … Wikipedia
PHILOSOPHY, JEWISH — This article is arranged according to the following outline: WHAT IS JEWISH PHILOSOPHY? recent histories of jewish philosophy biblical and rabbinic antecedents bible rabbinic literature hellenistic jewish philosophy philo of alexandria biblical… … Encyclopedia of Judaism
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Suárez (and later scholasticism) — Jorge Gracia THE SILVER AGE OF SCHOLASTICISM The golden age of scholasticism covered a period of roughly one hundred years, from around 1250 to 1350. There were important scholastic developments before 1250 and after 1350, but it is generally… … History of philosophy
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
De Morgan's laws — In formal logic, De Morgan s laws are rules relating the logical operators and and or in terms of each other via negation. With two operands A and B: In another form: NOT (A AND B) = (NOT A) OR (NOT B) NOT (A OR B) = (NOT A) AND (NOT B) The rules … Wikipedia
Prasaṅgika — In the philosophy of Mahayana Buddhism, specifically in the Madhyamaka view, IAST|Prasaṅgika is a category of Madhyamaka viewpoints attributed primarily to Indian scholar Candrakirti, but based also on Buddhapalita s commentaries on Nagarjuna.… … Wikipedia
Henry of Ghent and Duns Scotus — Stephen Dumont LIFE AND WORKS Henry of Ghent Henry of Ghent was arguably the most influential Latin theologian between Thomas Aquinas and Duns Scotus, regent as a leading master of theology at the University of Paris for the better part of the… … History of philosophy
